Experimenting with Triangles
نویسندگان
چکیده
Is there anything like an experiment in mathematics? And if this is the case, what would distinguish a mathematical from thought experiment? In present paper, framework for practice of mathematics will be put forward, which consider as experimenting activity and proving activity. The relationship between these two activities explored more importantly distinction thought-experiments, real experiments, quasi experiments proofs pure provided. To do so, three examples with triangles introduced discussed.
منابع مشابه
Experimenting with eXtreme Design
Ontology Design Patterns (ODPs) support reusability and use of best practices in ontology engineering. Previous studies have shown that Content ODPs, in particular, have some measurable beneficial effects on the produced ontologies. However, another conclusion was that methodology and tool support was needed. Now such support exist, in the form of the XD methodology and the XD Tools. In this pa...
متن کاملeskimo: EXPERIMENTING WITH SKELETONS
We discuss the lack of expressivity in some skeleton-based parallel programming frameworks. The problem is further exacerbated when approaching irregular problems and dealing with dynamic data structures. Shared memory programming has been argued to have substantial ease of programming advantages for this class of problems. We present the eskimo library which represents an attempt to merge the ...
متن کاملExperimenting with Nonmonotonic Reasoning
In this paper, we describe a system, called TheoryBase, whose goal is to facilitate experimental studies of nonmonotonic reasoning systems. TheoryBase generates test default theories and logic programs. It has an identiication system for generated theories, which allows us to reconstruct a logic program or a default theory from its identiier. Hence, exchanging test cases requires only exchangin...
متن کاملExperimenting with Career Concerns
A manager who learns privately about a project over time may be reluctant to quit it if recognizing failure/lack of success hurts his reputation. In the banking industry, managers may want to roll over bad loans that would reflect poorly on their skills. How do distortions depend on expected project quality? What are the effects of releasing public information about quality? A key feature of ba...
متن کاملExperimenting with Predicate Abstraction
Predicate abstraction is a technique employed in software model checking to produce abstract models that can be conservatively checked for property violations in reasonable time. The precision degree of different abstractions of the same program may differ based on (i) the set of predicates used; or (ii) the algorithmic technique employed to generate the model. In this paper we explain how we h...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Axiomathes
سال: 2022
ISSN: ['1122-1151', '1572-8390']
DOI: https://doi.org/10.1007/s10516-022-09639-x